NPS - CS - 15 - 001 NAVAL POSTGRADUATE SCHOOL MONTEREY , CALIFORNIA GRAPH REDUCTION FOR EMULATED NETWORK EXPERIMENTATION by Erik Rye

Nps - or - 12 - 003 Naval Postgraduate School Monterey , California Differential Equation Models for Sharp Threshold Dynamics

Nps - Cs - 14 - 001 Naval Postgraduate School Monterey , California Computer - Aided Discovery of Formal Specification Behavioral Requirements and Requirement to Implementation Mappings

This paper presents two computer-aided techniques for discovering formal specification behavioral requirements and for mapping components and methods within an implementation to their driving requirements. The first technique is an informal technique while the second technique is formal. The first technique uses a system reference model (SRM) abstraction and a set of existing formal specificati...

The Greedy Terrorist: A Rational-Choice Perspective on Terrorist Organizations’ Inefficiencies

Strategic Insights is a monthly electronic journal produced by the Center for Contemporary Conflict at the Naval Postgraduate School in Monterey, California. The views expressed here are those of the author(s) and do not necessarily represent the views of NPS, the Department of Defense, or the U.S. Government.

Optimizing Plant-Line Schedules and an Application at Hidden Valley Manufacturing Company

Gerald G. Brown • Robert F. Dell • Ray L. Davis • Richard H. Duff Operations Research Department, Naval Postgraduate School, Monterey, California 93943-5000 Operations Research Department, Naval Postgraduate School, Monterey, California 93943-5000 Hidden Valley Manufacturing Company, 1221 Broadway, Oakland, California 94612-1888 INSIGHT, Inc., Sudley North Business Center, 7960 Oonegan Drive, S...

Naval Postgraduate School Monterey , California Thesis Experiments with the Remus Auv

This thesis centers on actual field operations and post-mission analysis of data acquired using a REMUS AUV operated by the Naval Postgraduate School Center for Autonomous Underwater Vehicle Research. It was one of many platforms that were utilized for data collection during AOSN II, (Autonomous Oceanographic Sampling Network II), an ONR sponsored exercise for dynamic oceanographic data taking ...